\inf_{#insertion#}#select#
